181. Fairness
Author: Nissim Francez
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(
Classification :
QA
76
.
6
.
F72
1986


182. Fairness
Author: Francez, Nissim.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
Classification :
QA
76
.
6
.
F7226
1986


183. Fairness
Author: / Nissim Francez
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming,Programming languages (Electronic computers) -- Semantics,Parallel processing (Electronic computers)
Classification :
QA
76
.
6
.
F7226
1986


184. Finite representations of CCS and TCSP programs by automata and Petri nets
Author: Taubner, Dirk
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(
Classification :
QA
76
.
9
.
D5
.
T39
1989


185. Finite representations of CCS and TCSP programs by automata and Petri nets
Author: Dirk Taubner
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
369


186. Finite representations of CCS and TCSP programs by automata and Petri nets
Author: / Dirk Taubner
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Distributed processing,Petri nets,Programming languages (Electronic computers)
Classification :
QA
,
76
.
9
,.
D5
,
T39
,
1989


187. Finite representations of CCS and TCSP programs by automata and Petri nets
Author: / Dirk Taubner
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic data processing -- Distributed processing,Petri nets,Programming languages (Electronic computers)
Classification :
QA
76
.
9
.
D5
T39
1989


188. Flow analysis of computer programs
Author: Hecht, Matthew S.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Flowgraphs,، Computer algorithms
Classification :
QA
76
.
6
.
H4


189. Formal Methods and Software Development :
Author: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.

190. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
Author: Wilfried Brauer...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
Classification :
QA
76
.
L28
Vol
.
2300


191. Formal language description languages for computer programming; proceedings
Author: / Edited by T.B. Steel, Jr
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Congresses
Classification :
QA
76
.
I17
1964


192. Formal semantics of Programming languages
Author: Courant Computer Science Symposium, 2d, New York, 0791
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses
Classification :
QA
76
.
7
.
C68
1970


193. Formal specification and software development
Author: Bjorner, Dines
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Electronic digital computers,، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
B575
1982


194. Formal specification and software development
Author: Bjorner, Dines, 7391-
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer software -- Development,، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
B575


195. Formal syntax and semantics of Java
Author: Jim Alves-Foss )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
1523


196. Formal syntax and semantics of Java
Author: / Jim Alves-Foss (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Java (Computer program language),Programming languages (Electronic computers)--Semantics
Classification :
QA
,
76
.
73
,.
J38
,
F67
,
1999


197. Foundations of Programming Languages /
Author: by Kent D. Lee.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)
Classification :
QA76
.
76
.
C65


198. Foundations of object-oriented languages
Author: / Kim B. Bruce
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Object-oriented programming (Computer science),Programming languages (Electronic computers)
Classification :
QA
,
76
.
64
,.
B776
,
2002


199. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
64
.
R49
1990


200. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
Author: J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
489

